home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / ada / gnat1792.zip / gnat179b / t-adainc / a-textio.ads < prev    next >
Text File  |  1994-05-19  |  15KB  |  426 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT RUNTIME COMPONENTS                          --
  4. --                                                                          --
  5. --                          A D A . T E X T _ I O                           --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.12 $                             --
  10. --                                                                          --
  11. --           Copyright (c) 1992,1993,1994 NYU, All Rights Reserved          --
  12. --                                                                          --
  13. -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  14. -- terms of the  GNU General Public License as published  by the Free Soft- --
  15. -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  16. -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  17. -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  18. -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  19. -- for  more details.  You should have  received  a copy of the GNU General --
  20. -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  21. -- to the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. --
  22. --                                                                          --
  23. ------------------------------------------------------------------------------
  24.  
  25.  
  26. with Ada.IO_Exceptions;
  27.  
  28. package Ada.Text_IO is
  29.  
  30.    type File_Type is limited private;
  31.    type File_Mode is (In_File, Out_File, Append_File);
  32.  
  33.    type Count is range 0 .. Integer'Last;    --  implementation defined;
  34.    subtype Positive_Count is Count range 1 .. Count'Last;
  35.    Unbounded : constant Count := 0;          --  line and page length
  36.  
  37.    subtype Field is Integer range 0 .. 100;  --  implementation defined
  38.    subtype Number_Base is Integer range 2 .. 16;
  39.  
  40.    type Type_Set is (Lower_Case, Upper_Case);
  41.  
  42.    ---------------------
  43.    -- File Management --
  44.    ---------------------
  45.  
  46.    procedure Create (File : in out File_Type;
  47.                      Mode : in File_Mode := Out_File;
  48.                      Name : in String := "";
  49.                      Form : in String := "");
  50.  
  51.    procedure Open   (File : in out File_Type;
  52.                      Mode : in File_Mode;
  53.                      Name : in String;
  54.                      Form : in String := "");
  55.  
  56.    procedure Close  (File : in out File_Type);
  57.    procedure Delete (File : in out File_Type);
  58.    procedure Reset  (File : in out File_Type;
  59.                      Mode : in File_Mode);
  60.  
  61.    procedure Reset  (File : in out File_Type);
  62.  
  63.    function Mode    (File : in File_Type) return File_Mode;
  64.    function Name    (File : in File_Type) return String;
  65.    function Form    (File : in File_Type) return String;
  66.  
  67.    function Is_Open (File : in File_Type) return Boolean;
  68.  
  69.    ------------------------------------------------------
  70.    -- Control of default input, output and error files --
  71.    ------------------------------------------------------
  72.  
  73.    procedure Set_Input (File : in File_Type);
  74.    procedure Set_Output (File : in File_Type);
  75.    procedure Set_Error (File : in File_Type);
  76.  
  77.    function Standard_Input return File_Type;
  78.    function Standard_Output return File_Type;
  79.    function Standard_Error return File_Type;
  80.  
  81.    function Current_Input return File_Type;
  82.    function Current_Output return File_Type;
  83.    function Current_Error return File_Type;
  84.  
  85.    --------------------------------------------
  86.    -- Specification of line and page lengths --
  87.    --------------------------------------------
  88.  
  89.    procedure Set_Line_Length (File : in File_Type; To : in Count);
  90.    procedure Set_Line_Length (To : in Count);
  91.  
  92.    procedure Set_Page_Length (File : in File_Type; To : in Count);
  93.    procedure Set_Page_Length (To : in Count);
  94.  
  95.    function Line_Length (File : in File_Type) return Count;
  96.    function Line_Length return Count;
  97.  
  98.    function Page_Length (File : in File_Type) return Count;
  99.    function Page_Length return Count;
  100.  
  101.    ------------------------------------
  102.    -- Column, Line, and Page Control --
  103.    ------------------------------------
  104.  
  105.    procedure New_Line (File : in File_Type;
  106.                        Spacing : in Positive_Count := 1);
  107.    procedure New_Line (Spacing : in Positive_Count := 1);
  108.  
  109.    procedure Skip_Line (File : in File_Type;
  110.                         Spacing : in Positive_Count := 1);
  111.    procedure Skip_Line (Spacing : in Positive_Count := 1);
  112.  
  113.    function End_Of_Line (File : in File_Type) return Boolean;
  114.    function End_Of_Line return Boolean;
  115.  
  116.    procedure New_Page (File : in File_Type);
  117.    procedure New_Page;
  118.  
  119.    procedure Skip_Page (File : in File_Type);
  120.    procedure Skip_Page;
  121.  
  122.    function End_Of_Page (File : in File_Type) return Boolean;
  123.    function End_Of_Page return Boolean;
  124.  
  125.    function End_Of_File (File : in File_Type) return Boolean;
  126.    function End_Of_File return Boolean;
  127.  
  128.    procedure Set_Col (File : in File_Type;
  129.                       To : in Positive_Count);
  130.    procedure Set_Col (To : in Positive_Count);
  131.  
  132.    procedure Set_Line (File : in File_Type;
  133.                        To : in Positive_Count);
  134.    procedure Set_Line (To : in Positive_Count);
  135.  
  136.    function Col (File : in File_Type) return Positive_Count;
  137.    function Col return Positive_Count;
  138.  
  139.    function Line (File : in File_Type) return Positive_Count;
  140.    function Line return Positive_Count;
  141.  
  142.    function Page (File : in File_Type) return Positive_Count;
  143.    function Page return Positive_Count;
  144.  
  145.    -----------------------------
  146.    -- Characters Input-Output --
  147.    -----------------------------
  148.  
  149.    procedure Get (File : in File_Type; Item : out Character);
  150.    procedure Get (Item : out Character);
  151.    procedure Put (File : in File_Type; Item : in Character);
  152.    procedure Put (Item : in Character);
  153.  
  154.    --------------------------
  155.    -- Strings Input-Output --
  156.    --------------------------
  157.  
  158.    procedure Get (File : in File_Type; Item : out String);
  159.    procedure Get (Item : out String);
  160.    procedure Put (File : in File_Type; Item : in String);
  161.    procedure Put (Item : in String);
  162.  
  163.    procedure Get_Line (File : in File_Type;
  164.                        Item : out String;
  165.                        Last : out Natural);
  166.    procedure Get_Line (Item : out String; Last : out Natural);
  167.    procedure Put_Line (File : in File_Type; Item : in String);
  168.    procedure Put_Line (Item : in String);
  169.  
  170.    -----------------------------------
  171.    -- Input-Output of Integer Types --
  172.    -----------------------------------
  173.  
  174.    generic
  175.       type Num is range <>;
  176.  
  177.    package Integer_Io is
  178.  
  179.       Default_Width : Field := 10;  --  Num'Width
  180.       Default_Base  : Number_Base := 10;
  181.  
  182.       procedure Get (File  : in File_Type;
  183.                      Item  : out Num;
  184.                      Width : in Field := 0);
  185.       procedure Get (Item  : out Num;
  186.                      Width : in Field := 0);
  187.  
  188.       procedure Put (File  : in File_Type;
  189.                      Item  : in Num;
  190.                      Width : in Field := Default_Width;
  191.                      Base  : in Number_Base := Default_Base);
  192.       procedure Put (Item  : in Num;
  193.                      Width : in Field := Default_Width;
  194.                      Base  : in Number_Base := Default_Base);
  195.  
  196.       procedure Get (From : in String;
  197.                      Item : out Num;
  198.                      Last : out Positive);
  199.       procedure Put (To   : out String;
  200.                      Item : in Num;
  201.                      Base : in Number_Base := Default_Base);
  202.    end Integer_Io;
  203.  
  204.    -----------------------------------
  205.    -- Input-Output of Modular Types --
  206.    -----------------------------------
  207.  
  208.    --  Not yet implemented ???
  209.  
  210.    --  generic
  211.    --      type Num is mod <>;
  212.  
  213.    --  package Modular_IO is
  214.  
  215.    --      Default_Width : Field := Num'Width;
  216.    --      Default_Base  : Number_B